



CXX = g++


CPPS = $(wildcard *.cpp)
OBJS = $(patsubst %.cpp,%.o,$(CPPS))

INCLUDES= \
	-I $(CIL) \
	-I $(CILSTUB) \
    -I $(CILAST) \
	-I $(MLHEADER) \
  
LIBS = \
	-L $(CIL) \
	-L $(CILSTUB) \
    -L $(CILAST) \
	-L $(MLLIB) \
    
all : $(OBJS)
	$(CXX) $(DEBUG) $(INCLUDES) $(LIBS) -o ltlbmc  satVisitor.o tree.o bmc.o main.o -lcil -lcilast -lcilstub \
	-lm -lcurses -ldl -lcamlstr -lnums -lunix -lasmrun 

	mv ltlbmc $(TOP)/bin/ 
    
%.o : %.cpp
	$(CXX) $(DEBUG) -c $< $(INCLUDES) $(LIBS)
    
clean :
	rm -rf *.o
	rm -f $(TOP)/bin/*